/*  Copyright 2003  Auri Marcelo Rizzo Vicenzi, Marcio Eduardo Delamaro, 			    Jose Carlos Maldonado

    This file is part of Jabuti.

    Jabuti is free software: you can redistribute it and/or modify
    it under the terms of the GNU Lesser General Public License as 
    published by the Free Software Foundation, either version 3 of the      
    License, or (at your option) any later version.

    Jabuti is distributed in the hope that it will be useful,
    but WITHOUT ANY WARRANTY; without even the implied warranty of
    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
    GNU General Public License for more details.

    You should have received a copy of the GNU Lesser General Public License
    along with Jabuti.  If not, see <http://www.gnu.org/licenses/>.
*/


/* Generated By:JavaCC: Do not edit this line. DotParserConstants.java */
package br.jabuti.gvf;

public interface DotParserConstants {

  int EOF = 0;
  int GRAPH = 6;
  int NODE = 7;
  int TO = 8;
  int DIGRAPH = 9;
  int POS = 10;
  int BBOX = 11;
  int LPAREN = 12;
  int RPAREN = 13;
  int LBRACE = 14;
  int RBRACE = 15;
  int LBRACKET = 16;
  int RBRACKET = 17;
  int SEMICOLON = 18;
  int COMMA = 19;
  int DOT = 20;
  int EQUALS = 21;
  int GT = 22;
  int LT = 23;
  int HOOK = 24;
  int COLON = 25;
  int EQ = 26;
  int LE = 27;
  int GE = 28;
  int NE = 29;
  int PLUS = 30;
  int MINUS = 31;
  int STAR = 32;
  int SLASH = 33;
  int REM = 34;
  int POWER = 35;
  int FIXED_POINT_LITERAL = 36;
  int INTEGER_LITERAL = 37;
  int STRING_LITERAL = 38;
  int IDENTIFIER = 39;
  int LETTER = 40;
  int DIGIT = 41;
  int PARAM = 42;

  int DEFAULT = 0;

  String[] tokenImage = {
    "<EOF>",
    "\" \"",
    "\"\\t\"",
    "\"\\n\"",
    "\"\\r\"",
    "\"\\f\"",
    "\"graph\"",
    "\"node\"",
    "\"->\"",
    "\"digraph\"",
    "\"pos\"",
    "\"bb\"",
    "\"(\"",
    "\")\"",
    "\"{\"",
    "\"}\"",
    "\"[\"",
    "\"]\"",
    "\";\"",
    "\",\"",
    "\".\"",
    "\"=\"",
    "\">\"",
    "\"<\"",
    "\"?\"",
    "\":\"",
    "\"==\"",
    "\"<=\"",
    "\">=\"",
    "\"!=\"",
    "\"+\"",
    "\"-\"",
    "\"*\"",
    "\"/\"",
    "\"%\"",
    "\"**\"",
    "<FIXED_POINT_LITERAL>",
    "<INTEGER_LITERAL>",
    "<STRING_LITERAL>",
    "<IDENTIFIER>",
    "<LETTER>",
    "<DIGIT>",
    "<PARAM>",
  };

}
